<?php
// $Id: dev_functions.php 136 2008-03-09 23:13:12Z mikhail.miguel $

//================================================================
// WebLinks Module
// 2006-09-20 K.OHWADA
//================================================================
function dev_header( $title=null )
{
	global $xoopsConfig, $xoopsModule;

	$MOD_NAME = 'happy_linux';

	header ('Content-Type:text/html; charset='._CHARSET);

	if ( empty($title) )
	{
		$title = $MOD_NAME .': Devlopment';
	}

	echo "<!DOCTYPE html PUBLIC '//W3C//DTD XHTML 1.0 Transitional//EN' 'http://www.w3.org/TR/xhtml1/DTD/xhtml1-transitional.dtd'>\n";
	echo '<html xmlns="http://www.w3.org/1999/xhtml" xml:lang="'._LANGCODE.'" lang="'._LANGCODE.'">'."\n";
	echo "<head>\n";
	echo '<meta http-equiv="content-type" content="text/html; charset='._CHARSET.'" />'."\n";
    echo "<title>".$title."</title>\n";
	echo "</head><body>\n";
	echo "<br />\n";
	echo '<a href="index.php">'. $title .'</a>'."<br /><br />\n";
	echo "<hr /><br />\n";
}

function dev_footer()
{
	echo "<br /><hr />\n";
	echo '- <a href="index.php">goto Dev index</a>'."<br />\n";
	echo "</head></html>\n";
	exit();
}

function dev_print_error($msg)
{
	echo '<span style="color: #ff0000;">'. $msg ."</span><br />\n";
}

?>